projects / llvm-toolchain-15.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 780aef5) | patch
[PATCH] [mlir][scf][bufferize] Fix bug in WhileOp analysis verification
authorMatthias Springer <me@m-sp.org>
Mon, 15 May 2023 13:39:35 +0000 (15:39 +0200)
committerGianfranco Costamagna <locutusofborg@debian.org>
Thu, 7 Sep 2023 22:43:45 +0000 (00:43 +0200)
commitaabcc71356b12ff888c05083b55cb1c6c2637450
treecfc0cda8d556920aff4ab8dc214ac6f8340ff05ftree | snapshot
parent780aef5c939aa11ed65b3aee25280ab3355aad14commit | diff
[PATCH] [mlir][scf][bufferize] Fix bug in WhileOp analysis verification

Block arguments and yielded values are not equivalent if there are not enough block arguments. This fixes #59442.

Differential Revision: https://reviews.llvm.org/D145575

Gbp-Pq: Name CVE-2023-29933.patch
mlir/lib/Dialect/SCF/Transforms/BufferizableOpInterfaceImpl.cpp diff | blob | history
mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize-invalid.mlir diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.